Pragmatic Method for Interoperability Test Suite Derivation
نویسندگان
چکیده
Theoretically, conformance yields interworking and interoperability. However, experience has shown problems even when systems are conforming to the same standard. By having a glimpse at its methodology, conformance testing addresses the tested system as an isolated entity. Prior to real procurement, on the other hand, network operators apply a set of modifications that make a system applicable to their environment. As a result of these modifications, conformity, possibly, will have new significance and definition. Any other system, moreover, could be a subject of similar action. This puts the conformity relation on edge, and makes implication of interoperability a hope rather than a culmination. This paper proposes an approach for generating interoperability test suite from the relevant conformance test suite.
منابع مشابه
FSM Based Interoperability Testing Methods for Multi Stimuli Model
In this paper, we propose two fault models and methods for the derivation of interoperability test suites when the system implementation is given in the form of two deterministic communicating finite state machines. A test suite returned by the first method enables us to determine if the implementation is free of livelocks. If the implementation is free of livelocks, the second method returns a...
متن کاملInteroperability Testing Based on a Fault Model for a System of Communicating FSMs
This paper presents a fault model for interoperability testing of communication protocols that are modeled by communicating finite state machines, and proposes a technique that extends an initial interoperability test suite, which is given by another existing method, to be a test suite that can detect "almost all" interaction faults based on the fault model. We start with an interoperability te...
متن کاملInteroperability test generation: formal definitions and algorithm
In the context of network protocols, interoperability testing is used to verify that two (or more) implementations communicate correctly while providing the services described in their respective specifications. This study is aimed at providing a method for interoperability test generation based on formal definitions. Contrary to previous works, this study takes into account quiescence of imple...
متن کاملInteroperability Test Suite Generation for the TCP Data Part Using Experimental Design Techniques
.....................................................................................
متن کاملAutomatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters
In this paper, we propose an automatic analysis and test case derivation method for LOTOS expressions with data values. We introduce the class of P-LOTOS expressions where the data types are restricted to the integer and boolean types and the operators of the integers are restricted to addition, subtraction and comparison. For this class, we give an algorithm for deriving a set of test cases (a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998